Created
August 17, 2022 23:09
-
-
Save breandan/c6ff5746bcbfa21aacf8f40a1c9c3e2a to your computer and use it in GitHub Desktop.
Synthesis trace for `if ( true or false ) then true else 3 3`
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Exclusions: if ( * * * ) then true else 3 3 | |
| Synthesizing: if ( true or false ) then true _ _ 3 3 | |
| Synthesizing: if ( true or false ) then true else 3 3 _ | |
| Synthesizing: if ( true or false _ _ then true else 3 3 | |
| Synthesizing: if ( true or false ) then true else 3 3 _ _ | |
| Synthesizing: if ( true or false ) _ _ true else 3 3 | |
| Synthesizing: if _ _ true or false ) then true else 3 3 | |
| Synthesizing: _ _ ( true or false ) then true else 3 3 | |
| Synthesizing: if ( true or false ) then true else 3 _ _ | |
| Synthesizing: if ( true or false ) then true else _ _ 3 | |
| Synthesizing: if ( true or false ) then _ _ else 3 3 | |
| Synthesizing: if ( true or false ) _ _ _ _ else 3 3 | |
| Synthesizing: if _ _ true or false ) _ _ true else 3 3 | |
| Synthesizing: if ( true or false ) then true _ _ 3 3 _ _ | |
| Synthesizing: if ( true or false _ _ then true else 3 _ _ | |
| Synthesizing: if _ _ true or false ) then true _ _ 3 3 | |
| Synthesizing: if ( true or false _ _ _ _ true else 3 3 | |
| Synthesizing: if _ _ true or false _ _ then true else 3 3 | |
| Synthesizing: if ( true or false ) then _ _ else 3 3 _ _ | |
| Synthesizing: _ _ ( true or false ) then true else _ _ 3 | |
| Synthesizing: if _ _ true or false ) then _ _ else 3 3 | |
| Synthesizing: _ _ ( true or false ) _ _ true else 3 3 | |
| Synthesizing: _ _ ( true or false _ _ then true else 3 3 | |
| Synthesizing: _ _ _ _ true or false ) then true else 3 3 | |
| Synthesizing: if ( true or false ) _ _ true else 3 3 _ _ | |
| Synthesizing: if ( true or false _ _ then true else 3 3 _ _ | |
| Synthesizing: if _ _ true or false ) then true else 3 _ _ | |
| Synthesizing: if ( true or false ) then true _ _ _ _ 3 | |
| Synthesizing: if ( true or false ) then _ _ else 3 _ _ | |
| Synthesizing: if ( true or false _ _ then true _ _ 3 3 | |
| Synthesizing: if ( true or false ) _ _ true else 3 _ _ | |
| Synthesizing: _ _ ( true or false ) then true else 3 3 _ _ | |
| Synthesizing: if ( true or false ) then true _ _ 3 _ _ | |
| Synthesizing: _ _ ( true or false ) then true else 3 _ _ | |
| Synthesizing: _ _ ( true or false ) then true _ _ 3 3 | |
| Synthesizing: if ( true or false _ _ then true else _ _ 3 | |
| Synthesizing: if ( true or false _ _ then _ _ else 3 3 | |
| Synthesizing: if ( true or false ) then true else 3 _ _ _ _ | |
| Synthesizing: if ( true or false ) then true else _ _ _ _ | |
| Synthesizing: if ( true or false ) _ _ true _ _ 3 3 | |
| Synthesizing: _ _ ( true or false ) then _ _ else 3 3 | |
| Synthesizing: if ( true or false ) then true else _ _ 3 _ _ | |
| Synthesizing: if _ _ true or false ) then true else _ _ 3 | |
| Synthesizing: if _ _ true or false ) then true else 3 3 _ _ | |
| Synthesizing: if ( true or false ) then _ _ _ _ 3 3 | |
| Synthesizing: if ( true or false ) _ _ true else _ _ 3 | |
| Synthesizing: if ( true or false ) then _ _ else _ _ 3 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment