search

margnus1 / swsc

This tool has now merged with nidhugg/nidhugg and will no longer be developed here
GNU General Public License v3.0
0 stars 1 forks source link

Implement prefix-construction heuristic #2

Closed margnus1 closed 6 years ago

margnus1 commented 6 years ago

An initial implementation has been merged and seems correct and decently good, although of course subject to further optimisation and tuning

kostis commented 6 years ago

You may want to look at:

 894: DETOUR0629 Forbid FAILURE: not same trace as 48 OK  : 52

I have not checked whether this was there before your changes, though...

Also:

2766: m6d Forbid FAILURE: not same trace as 21 OK  : 23
3000: MOREDETOUR0242 Forbid FAILURE: not same trace as 32 OK  : 33

and

3030: MOREDETOUR0272 FAILURE: swsc : -1
margnus1 commented 6 years ago

@kostis Looks like an out-of-bounds access is causing non-deterministic behaviour. I'll look closer on Monday. Thanks!