1 2 3 4 5 6 7 8 9 10
; EXPECT: true ; EXPECT: true ; EXPECT: false ; EXPECT: false (set-option :interactive-mode true) (get-option :interactive-mode) (get-option :produce-assertions) (set-option :produce-assertions false) (get-option :interactive-mode) (get-option :produce-assertions)