Replace all remaining instances of ASSERT(NOT( with REFUTE.

Author: python-processing-unit

tests/cases/passing/async-error-not-caught.pre

@@ -8,7 +8,7 @@ TRY{
     caught = TRUE
 }
 
-ASSERT(NOT(caught))
+REFUTE(caught)
 
 
 ! Also ensure awaiting the failed thread does not synchronously raise
@@ -24,4 +24,4 @@ TRY{
     caught_await = TRUE
 }
 
-ASSERT(NOT(caught_await))
+REFUTE(caught_await)

tests/cases/passing/await-expression-handle.pre

@@ -3,4 +3,4 @@ THR: awaited = AWAIT(worker)
 
 ASSERT(EQ(TYPE(awaited), "THR"))
 ASSERT(EQ(awaited, worker))
-ASSERT(NOT(BOOL(awaited)))
+REFUTE(BOOL(awaited))

tests/cases/passing/await-finished-thread.pre

@@ -3,4 +3,4 @@ THR(worker){}
 AWAIT(worker)
 
 ASSERT(EQ(AWAIT(worker), worker))
-ASSERT(NOT(BOOL(worker)))
+REFUTE(BOOL(worker))

tests/cases/passing/await-shared-mutation.pre

@@ -10,4 +10,4 @@ THR: awaited = AWAIT(worker)
 
 ASSERT(EQ(awaited, worker))
 ASSERT(EQ(shared, 0d1))
-ASSERT(NOT(BOOL(worker)))
+REFUTE(BOOL(worker))

tests/cases/passing/bool.pre

@@ -2,4 +2,4 @@ BOOL: truthy = TRUE
 BOOL: falsy = FALSE
 
 ASSERT(truthy)
-ASSERT(NOT(falsy))
+REFUTE(falsy)

tests/cases/passing/break-nested.pre

@@ -11,5 +11,5 @@ FOR(i, 0d3){
 }
 ASSERT(EQ(outer, 0d1))
 ASSERT(EQ(inner, 0d1))
-ASSERT(NOT(EXIST(i)))
-ASSERT(NOT(EXIST(j)))
+REFUTE(EXIST(i))
+REFUTE(EXIST(j))

tests/cases/passing/del-frozen.pre

@@ -1,5 +1,5 @@
 BOOL: frozen_symbol = TRUE
-ASSERT(NOT(FREEZE(frozen_symbol)))
+REFUTE(FREEZE(frozen_symbol))
 
 BOOL: frozen_delete_failed = FALSE
 TRY{
@@ -10,12 +10,12 @@ TRY{
 ASSERT(frozen_delete_failed)
 ASSERT(EXIST(frozen_symbol))
 
-ASSERT(NOT(THAW(frozen_symbol)))
-ASSERT(NOT(DEL(frozen_symbol)))
-ASSERT(NOT(EXIST(frozen_symbol)))
+REFUTE(THAW(frozen_symbol))
+REFUTE(DEL(frozen_symbol))
+REFUTE(EXIST(frozen_symbol))
 
 BOOL: permafrozen_symbol = TRUE
-ASSERT(NOT(PERMAFREEZE(permafrozen_symbol)))
+REFUTE(PERMAFREEZE(permafrozen_symbol))
 
 BOOL: permafrozen_delete_failed = FALSE
 TRY{

tests/cases/passing/del-map.pre

@@ -1,5 +1,5 @@
 MAP: top = <"keep" = 0d1, "drop" = 0d2>
-ASSERT(NOT(DEL(top<"drop">)))
+REFUTE(DEL(top<"drop">))
 ASSERT(EQ(top, <"keep" = 0d1>))
 
 BOOL: top_missing = FALSE
@@ -11,13 +11,13 @@ TRY{
 ASSERT(top_missing)
 
 MAP: nested = <"outer" = <"keep" = 0d1, "drop" = 0d2>>
-ASSERT(NOT(DEL(nested<"outer", "drop">)))
+REFUTE(DEL(nested<"outer", "drop">))
 ASSERT(EQ(nested, <"outer" = <"keep" = 0d1>>))
 
 MAP: missing_intermediate = <"outer" = <"keep" = 0d1>>
-ASSERT(NOT(DEL(missing_intermediate<"absent", "drop">)))
+REFUTE(DEL(missing_intermediate<"absent", "drop">))
 ASSERT(EQ(missing_intermediate, <"outer" = <"keep" = 0d1>>))
 
 MAP: missing_final = <"outer" = <"keep" = 0d1>>
-ASSERT(NOT(DEL(missing_final<"outer", "drop">)))
+REFUTE(DEL(missing_final<"outer", "drop">))
 ASSERT(EQ(missing_final, <"outer" = <"keep" = 0d1>>))

tests/cases/passing/del-symbol.pre

@@ -1,7 +1,7 @@
 BOOL: symbol = TRUE
 ASSERT(EXIST(symbol))
-ASSERT(NOT(DEL(symbol)))
-ASSERT(NOT(EXIST(symbol)))
+REFUTE(DEL(symbol))
+REFUTE(EXIST(symbol))
 
 BOOL: deleted_read_failed = FALSE
 TRY{
@@ -12,7 +12,7 @@ TRY{
 ASSERT(deleted_read_failed)
 
 INT: count = 0d1
-ASSERT(NOT(DEL(count)))
+REFUTE(DEL(count))
 count = 0d2
 ASSERT(EQ(count, 0d2))
 ASSERT(EXIST(count))

tests/cases/passing/deletefile.pre

@@ -4,4 +4,4 @@ STR: p = path.TEMPFILE("temp.txt")
 WRITEFILE("Prefix", p)
 ASSERT(EXISTFILE(p))
 ASSERT(DELETEFILE(p))
-ASSERT(NOT(EXISTFILE(p)))
+REFUTE(EXISTFILE(p))