erigon-pulse/.gitmodules

[submodule "tests"]
	path = tests/testdata
	url = https://github.com/ethereum/tests
[submodule "semantics/z3"]
	path = semantics/z3
	url = https://github.com/Z3Prover/z3
tests: update tests and implement general state tests (#14734) Tests are now included as a submodule. This should make updating easier and removes ~60MB of JSON data from the working copy. State tests are replaced by General State Tests, which run the same test with multiple fork configurations. With the new test runner, consensus tests are run as subtests by walking json files. Many hex issues have been fixed upstream since the last update and most custom parsing code is replaced by existing JSON hex types. Tests can now be marked as 'expected failures', ensuring that fixes for those tests will trigger an update to test configuration. The new test runner also supports parallel execution and the -short flag. 2017-07-11 11:49:14 +00:00			`[submodule "tests"]`
			`path = tests/testdata`
			`url = https://github.com/ethereum/tests`
Semantics: Integrate Z3 into the build (#370) * Just files * Fix lint * First attempt at linking * More semantics * Add more arguments * Added z3 dependency * Added integration with z3 * Try to fix build * Add m library * Try to fix ints * Separate init/destroy, create sorts 2020-03-06 08:54:21 +00:00			`[submodule "semantics/z3"]`
			`path = semantics/z3`
			`url = https://github.com/Z3Prover/z3`