8 Commits

Author	SHA1	Message	Date
Leo Alt	cb017b95cf	update tests	2021-05-26 22:12:49 +02:00
Leonardo Alt	e3abde43f5	Change settings.modelChecker.targets to take an array instead of string	2021-04-19 17:53:03 +02:00
Leonardo Alt	ad10bee8f0	update command line tests	2021-04-08 21:03:39 +02:00
Leonardo Alt	dbd067d6db	Report out of bounds index access	2021-03-30 10:28:48 +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	3b23cadbdc	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00