SRI-CSL
/
yices2
/
8303521702
/
1
66%
master: 66%
master: 66%
|
Ran
|
Files
1624
|
Run time
39s
|
Badge
Embed ▾
README BADGES
|
coverage: 66.268% (-0.01%) from 66.281%
push
github
web-flowDecision hint queue (#494) * Fixed typos * rename int_queue_t size with capacity * enhanced int_queue * added queue for next decision * Clear hint queue on conflict * Added two queues (top and hint) * fixed bug * added solver hints in NRA * model_interpolation questions * model_interpolation does not perform request_top_decision * Remove shortcut variables from the queue * regression prints execution time * nra_plugin.c hint only on real solution * variable selection forces decision on hint * fix random decision * trace printing * changed the gold of a model interpolant * added option for test issue204.smt2 * Removed ToDo * avoid dupplication in top_decision_queue * Revert "regression prints execution time" This reverts commit aec6c21e4. * Update mcsat_decision (fixed aux decision problems) and moved hinted queue reset to pop. * Added force_decision for top_variables --------- Co-authored-by: Thomas Hader <thomas.hader@sri.com> Co-authored-by: Thomas Hader <tom@hader.email>
87860 of 132583 relevant lines covered (66.27%)
1359983.28 hits per line
