/* this file tests the various Reach operators */
fail(
""

+           "# C 1 = "
+     string # C 1
+"\n"
+           "# E 1 = "
+     string # E 1
+"\n"
+           "# P 1 = "
+     string # P 1
+"\n"
+           "# T 1 = "
+     string # T 1
+"\n"
+           "# S 1 = "
+     string # S 1
+"\n"
   
+           "-(5) = "
+     string -(5)
+"\n"

+           "card {1,5,3,3} = "
+     string card {1,5,3,3}
+"\n"
+           "card {{1,5},{3,3}} = "
+     string card {{1,5},{3,3}}
+"\n"

+            "3 + 4 = "
+     string (3 + 4)
+"\n"
+           "\"abc\" + \"def\" = "
+     string ("abc" + "def")
+"\n"
+           "{{1,7},{3},{3}} + {{1,7},{5}} = "
+     string ({{1,7},{3},{3}} + {{1,7},{5}})
+"\n"

+            "3 - 4 = "
+     string (3 - 4)
+"\n"
  

+            "24 / 4 = "
+     string (24 / 4)
+"\n"
+            "7 / 2 = "
+     string (7 / 2)
+"\n"
  
+            "18 % 5 = "
+     string (18 % 5)
+"\n"

+           "{{1,7},{3},{3}} \\ {{1,7},{5}} = "
+     string ({{1,7},{3},{3}} \ {{1,7},{5}})
+"\n"

+            "3 * 4 = "
+     string (3 * 4)
+"\n"
+           "{{1,7},{3},{3}} * {{1,7,7},{5}} = "
+     string ({{1,7},{3},{3}} * {{1,7,7},{5}})
+"\n"

+           "PP \"[A-Za-z_,<>+-~/0-9]\\\\+\" = "
+     string PP "[A-Za-z_,<>+-~/0-9]\\+"
+"\n"

+           "TT \"[A-Za-z_+-~/0-9]\\\\+\" = "
+     string TT "[A-Za-z_+-~/0-9]\\+"
+"\n"

+           "SS \"[A-Za-z_0-9]\\\\+\" = "
+     string SS "[A-Za-z_0-9]\\+"
+"\n"

+           "cond P 1 = "
+     string cond P 1
+"\n"
+           "cond {P 1, P 2} = "
+     string cond {P 1, P 2}
+"\n"
  
+           "ev T 1 = "
+     string ev T 1
+"\n"
+           "ev {T 1, T 2} = "
+     string ev {T 1, T 2}
+"\n"
+           "ev S 1 = "
+     string ev S 1
+"\n"
+           "ev {S 1, S 2} = "
+     string ev {S 1, S 2}
+"\n"

+           "pls C 1 = "
+     string pls C 1
+"\n"
+           "pls {C 1, C 2} = "
+     string pls {C 1, C 2}
+"\n"

+           "tran E 1 = "
+     string tran E 1
+"\n"
+           "tran {E 1, E 2} = "
+     string tran {E 1, E 2}
+"\n"
+           "tran S 1 = "
+     string tran S 1
+"\n"
+           "tran {S 1, S 2} = "
+     string tran {S 1, S 2}
+"\n"

+           "sig E 1 = "
+     string sig E 1
+"\n"
+           "sig {E 1, E 2} = "
+     string sig {E 1, E 2}
+"\n"
+           "sig T 1 = "
+     string sig T 1
+"\n"
+           "sig {T 1, T 2} = "
+     string sig {T 1, T 2}
+"\n"

+           "pre C 10 = "
+     string pre C 10
+"\n"
+           "post pre C 10 = "
+     string post pre C 10
+"\n"
+           "pre {C 10, C 11} = "
+     string pre {C 10, C 11}
+"\n"
+           "post pre {C 10, C 11} = "
+     string post pre {C 10, C 11}
+"\n"
+           "pre E 10 = "
+     string pre E 10
+"\n"
+           "post pre E 10 = "
+     string post pre E 10
+"\n"
+           "pre {E 10, E 11} = "
+     string pre {E 10, E 11}
+"\n"
+           "post pre {E 10, E 11} = "
+     string post pre {E 10, E 11}
+"\n"
+           "pre P 10 = "
+     string pre P 10
+"\n"
+           "post pre P 10 = "
+     string post pre P 10
+"\n"
+           "pre {P 10, P 11} = "
+     string pre {P 10, P 11}
+"\n"
+           "post pre {P 10, P 11} = "
+     string post pre {P 10, P 11}
+"\n"
+           "pre T 10 = "
+     string pre T 10
+"\n"
+           "post pre T 10 = "
+     string post pre T 10
+"\n"
+           "pre {T 10, T 11} = "
+     string pre {T 10, T 11}
+"\n"
+           "post pre {T 10, T 11} = "
+     string post pre {T 10, T 11}
+"\n"


+           "trig E 10 = "
+     string trig E 10
+"\n"

+           "downclose E 10 = "
+     string downclose E 10
+"\n"
+           "downclose {E 10, E 11} = "
+     string downclose {E 10, E 11}
+"\n"

)