Bandit Issue #1

[j29scott]

Command: stringfuzzx --file /tmp/tmpup689xdy --random bandit --operator 'IndexOf2' Input:

(set-logic QF_S)
(declare-fun var0 () String)
(declare-fun var1 () String)
(declare-fun var2 () String)
(declare-fun var3 () Int)
(declare-fun var4 () Int)
(declare-fun var5 () Int)
(declare-fun var6 () Bool)
(declare-fun var7 () Bool)
(declare-fun var8 () Bool)
(assert (< var5 var4))
(assert (str.in.re var0 re.allchar))
(assert (< (str.len var1) (str.indexof var0 var2 var4)))
(assert (str.prefixof (str.replace var2 var0 var2) (str.replace var0 var2 var0)))
(check-sat)