schedule: drop the ModelChecker::check_promises_thread_disabled interface
[c11tester.git] / LICENSE
2013-04-16 Brian Norrismove license to LICENSE file