16 Commits

Author	SHA1	Message	Date
Kamil Śliwak	9e641e60e7	externalTests/solc-js: Allow using a local checkout of solc-js	2022-02-04 15:05:00 +01:00
Kamil Śliwak	b925250705	Make solc-js.sh run its tests directly ... - Its structure has diverged a lot from other external tests and there's not point in keeping it abstracted like this.	2022-02-04 15:05:00 +01:00
Kamil Śliwak	eb8e304b47	externalTests: Add support for using a native binary	2021-12-10 17:43:57 +01:00
Kamil Śliwak	081b80ccb2	externalTests: Refactor setup and input verification	2021-12-10 17:40:54 +01:00
Kamil Śliwak	b57c0a0b81	externalTests: Refactor to be more explicit and easier to adjust for special cases	2021-11-08 16:37:23 +01:00
Kamil Śliwak	ed907561eb	externalTests: Enable set -e in external tests	2021-11-08 16:29:52 +01:00
Leo Alt	6c8ecfa82c	Add option to choose solver	2021-07-27 17:14:21 +02:00
Kamil Śliwak	8080be9445	external test scripts: Replace global $SOLJSON variable with a parameter	2020-12-03 22:17:44 +01:00
Kamil Śliwak	0a29218848	external test scripts: Quote variables properly	2020-12-03 22:17:44 +01:00
Leonardo Alt	23ee011c56	[SMTChecker] Fix imports	2020-09-11 13:34:46 +02:00
Alex Beregszaszi	9ce01b19b2	Use master branch of solc-js	2019-12-11 16:48:11 +00:00
Erik Kundt	f13fa7ed82	Adjusts solc-js test to earlier override of soljson.	2019-12-02 18:10:39 +01:00
Alex Beregszaszi	1a4ee4ea34	Revert "Run solc-js tests against callback-context [REMOVE]" ... This reverts commit 3133544313.	2019-11-26 19:11:11 +01:00
Alex Beregszaszi	3133544313	Run solc-js tests against callback-context [REMOVE]	2019-11-22 11:50:13 +00:00
Leonardo Alt	ddc478e3e4	Add CallbackKind and use it for the SMT solver	2019-11-21 22:10:21 +00:00
Erik Kundt	8adde5abbe	Migrates solc-js test to ext. test infrastructure. ... solc-js commit: 9d9de6338729cf5fbd62f479d54b7097e8a7e395	2019-09-25 16:03:08 +02:00