Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Ghost in the Shellcode 2015 - Blocky's Revenge Model
sat
(model
(define-fun c2 () Bool
false)
(define-fun c3 () Bool
true)
(define-fun c4 () Bool
true)
(define-fun c5 () Bool
false)
(define-fun c6 () Bool
true)
(define-fun c7 () Bool
false)
(define-fun c8 () Bool
false)
(define-fun c9 () Bool
true)
(define-fun c10 () Bool
true)
(define-fun c11 () Bool
false)
(define-fun c12 () Bool
false)
(define-fun c13 () Bool
false)
(define-fun c14 () Bool
true)
(define-fun c15 () Bool
true)
(define-fun c16 () Bool
true)
(define-fun c17 () Bool
true)
(define-fun c18 () Bool
true)
(define-fun c19 () Bool
false)
(define-fun c20 () Bool
true)
(define-fun c21 () Bool
false)
(define-fun c22 () Bool
true)
(define-fun c23 () Bool
false)
(define-fun c24 () Bool
true)
(define-fun c25 () Bool
true)
(define-fun c26 () Bool
true)
(define-fun c27 () Bool
true)
(define-fun c28 () Bool
true)
(define-fun c29 () Bool
true)
(define-fun c30 () Bool
true)
(define-fun c31 () Bool
false)
(define-fun c32 () Bool
true)
(define-fun c33 () Bool
false)
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment