Skip to content

Instantly share code, notes, and snippets.

@livnev

livnev/Vat_grab_succ.out

Created August 27, 2018 15:33
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save livnev/32f05dd0cedf06b2444821ac89ae9f07 to your computer and use it in GitHub Desktop.
Save livnev/32f05dd0cedf06b2444821ac89ae9f07 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Vat_grab_succ.out
aimed at tune.sol.json
behaviour
HEAD DELTAC
├ 0 ¬( 0 < ABI_dink )
│ ├ 0 ¬( ABI_dink < 0 )
│ │ ├ 0 ¬( 0 < ABI_dart )
│ │ │ ├ 0 ✓ ¬( ABI_dart < 0 )
│ │ │ └ 1 ABI_dart < 0
│ │ │ ├ 0 ✓ ¬( Rate * ABI_dart < 0 )
│ │ │ └ 1 ✓ Rate * ABI_dart < 0
│ │ └ 1 0 < ABI_dart
│ │ ├ 0 ✓ ¬( 0 < Rate * ABI_dart )
│ │ └ 1 ✓ 0 < Rate * ABI_dart
│ └ 1 ABI_dink < 0
│ ├ 0 ¬( 0 < ABI_dart )
│ │ ├ 0 ✓ ¬( ABI_dart < 0 )
│ │ └ 1 ABI_dart < 0
│ │ ├ 0 ✓ ¬( Rate * ABI_dart < 0 )
│ │ └ 1 ✓ Rate * ABI_dart < 0
│ └ 1 0 < ABI_dart
│ ├ 0 ✓ ¬( 0 < Rate * ABI_dart )
│ └ 1 ✓ 0 < Rate * ABI_dart
└ 1 0 < ABI_dink
├ 0 ¬( 0 < ABI_dart )
│ ├ 0 ✓ ¬( ABI_dart < 0 )
│ └ 1 ABI_dart < 0
│ ├ 0 ✓ ¬( Rate * ABI_dart < 0 )
│ └ 1 ✓ Rate * ABI_dart < 0
└ 1 0 < ABI_dart
├ 0 ✓ ¬( 0 < Rate * ABI_dart )
└ 1 ✓ 0 < Rate * ABI_dart
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment