15 Commits

Author	SHA1	Message	Date
Leo Alt	24df40de9a	Allow running Eldarica from the command line	2022-11-22 21:16:45 +01:00
George Plotnikov	6374b4fe23	regenerating tests expectation	2022-10-26 15:13:47 +05:00
chriseth	c87c0f02bd	Test updates.	2021-08-12 16:56:12 +02:00
Leo Alt	cb017b95cf	update tests	2021-05-26 22:12:49 +02:00
Leonardo Alt	ad10bee8f0	update command line tests	2021-04-08 21:03:39 +02:00
Martin Blicha	a49950cdf3	[SMTChecker] Added transaction constraints also for contract deployment	2021-02-01 16:46:34 +01:00
Martin Blicha	deb90d84a6	[SMTChecker] added missing type constraints for Address	2021-01-27 20:39:24 +01:00
Leonardo Alt	a612daa783	Add msgvalue to cex	2021-01-21 19:05:44 +01:00
Leonardo Alt	78d55e6b4a	[SMTChecker] Support check/unchecked	2020-12-30 12:14:30 +01:00
Martin Blicha	be0a0f4d90	[SMTChecker] Added constraints for block properties	2020-12-29 22:17:44 +01:00
Leonardo Alt	50be39fc21	Add and update tests	2020-12-17 14:42:49 +01:00
chriseth	c4e97b7624	Update tests.	2020-12-01 16:15:19 +01:00
Martin Blicha	cd06d68cbe	[SMTChecker] Keeping better track of path condition through branches with return statement in the BMC engine.	2020-11-30 11:47:49 +01:00
Leonardo Alt	289ac23fe6	Fix smt cmdlinetest	2020-10-16 17:58:45 +01:00
Leonardo Alt	4e49135318	Add CLI option to choose model checker engine	2020-10-16 15:01:47 +01:00