Skip to content

Instantly share code, notes, and snippets.

@livnev

livnev/fold_fail

Created August 26, 2018 09:55
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/f37f6052dc2b373362705924680cda09 to your computer and use it in GitHub Desktop.
Save livnev/f37f6052dc2b373362705924680cda09 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
fold_fail
behaviour
HEAD DELTAC
├ 0 ╭ Can == 1
│ │ │ ¬( ( 0 <= Rate + ABI_rate andBool Rate + ABI_rate <= 11579208923731619542357098500868790785326998466
│ │ │ 5640564039457584007913129639935 andBool ( 0 <= Dai + Art_i * ABI_rate andBool Dai + Art_i * ABI_rate
│ │ │ <= 115792089237316195423570985008687907853269984665640564039457584007913129639935 ) andBool ( 0 <=
│ │ │ Debt + Art_i * ABI_rate andBool Debt + Art_i * ABI_rate <= 11579208923731619542357098500868790785326
│ │ │ 9984665640564039457584007913129639935 ) andBool ( minSInt256 <= Art_i andBool Art_i <= maxSInt256 )
│ │ ╰ andBool ( minSInt256 <= Art_i * ABI_rate andBool Art_i * ABI_rate <= maxSInt256 ) ) )
│ ├ 0 ¬( 0 < ABI_rate )
│ │ ├ 0 ✓ ¬( ABI_rate < 0 )
│ │ └ 1 ABI_rate < 0
│ │ ├ 0 Rate + ABI_rate >= 0
│ │ │ ├ 0 ¬( #signed ( Art_i ) < 0 )
│ │ │ │ ├ 0 Art_i * ABI_rate >= minSInt256
│ │ │ │ │ ├ 0 ✓ Dai + Art_i * ABI_rate >= 0
│ │ │ │ │ └ 1 ✓ ¬( Dai + Art_i * ABI_rate >= 0 )
│ │ │ │ └ 1 ✓ ¬( Art_i * ABI_rate >= minSInt256 )
│ │ │ └ 1 ✓ #signed ( Art_i ) < 0
│ │ └ 1 ✓ ¬( Rate + ABI_rate >= 0 )
│ └ 1 0 < ABI_rate
│ ├ 0 ╭ Rate + ABI_rate <= 115792089237316195423570985008687907853269984665640564039457584007913129639935
│ │ │ ╰
│ │ ├ 0 ¬( #signed ( Art_i ) < 0 )
│ │ │ ├ 0 Art_i * ABI_rate <= maxSInt256
│ │ │ │ ├ 0 ✓ ╭ Dai + Art_i * ABI_rate <= 11579208923731619542357098500868790785326998466564056403945758400791312
│ │ │ │ │ ╰ 9639935
│ │ │ │ └ 1 ✓ ╭ ¬( Dai + Art_i * ABI_rate <= 11579208923731619542357098500868790785326998466564056403945758400791312
│ │ │ │ ╰ 9639935 )
│ │ │ └ 1 ✓ ¬( Art_i * ABI_rate <= maxSInt256 )
│ │ └ 1 ✓ #signed ( Art_i ) < 0
│ └ 1 ✓ ╭ ¬( Rate + ABI_rate <= 115792089237316195423570985008687907853269984665640564039457584007913129639935
│ ╰ )
└ 1 ✓ ¬( 1 == Can )
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment