diff options
| author | Kevin Laeufer | 2021-03-08 17:37:35 -0800 |
|---|---|---|
| committer | GitHub | 2021-03-09 01:37:35 +0000 |
| commit | 8a4c156f401c8bfab5f2d595c32c20534f0722d7 (patch) | |
| tree | 06c8ea2221e94d2bc2e281ffbc79a8aee177cf3f /scripts | |
| parent | 29d57a612df69ae4a6db4b3755fc292e5a539e11 (diff) | |
SMT Backend: model Invalid and Division by Zero with DefRandom nodes (#2104)
This finally removes all randomization code from the transition
system conversion and into a separate pass using DefRandom nodes.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions