4 commits

Author	SHA1	Message	Date
Nuno Lopes	c3407fc304	fix build of tests	2022-06-17 17:11:18 +01:00
Nikolaj Bjorner	fcdf8d4948	include atomic ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2021-12-13 11:40:45 -08:00
Nikolaj Bjorner	0a7e003709	this one is for you Nuno ... - pull request might have new bugs given that build is broken. - this test doesn't expose race conditions under simple tests, yet. It is a starting point. - run under cuzz (app-verifier) should expose races, this is what it was made for.	2021-12-12 17:51:05 -08:00
Nikolaj Bjorner	96e871c826	add stub for testing updates to scoped_timer ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2021-12-12 12:31:23 -08:00