diff --git a/scripts/release.sh b/scripts/release.sh index f8e017be..72646d35 100755 --- a/scripts/release.sh +++ b/scripts/release.sh @@ -42,14 +42,14 @@ # # For Linux, run two separate ones (in different checkouts), like so: # -# scripts/release.sh 1 1 1 0 1 0 0 1 0 1 0 1 1 0 +# scripts/release.sh 1 1 1 0 1 0 0 1 0 1 0 1 0 0 # scripts/release.sh 1 1 0 1 0 1 0 1 0 1 0 0 1 1 # # Yes, I usually do sanitizers with Clang and Valgrind with GCC. # # To run sanitizers or Valgrind with generated tests, use the following: # -# scripts/release.sh 1 1 1 0 1 0 0 1 0 1 0 1 1 0 +# scripts/release.sh 1 1 1 0 1 0 0 1 0 1 0 1 0 0 # scripts/release.sh 1 1 0 1 0 1 0 1 0 1 0 0 1 1 # # The reason I run history tests with GCC and not with Clang is because Clang diff --git a/src/library.c b/src/library.c index 1ae1ed41..a9246a02 100644 --- a/src/library.c +++ b/src/library.c @@ -170,10 +170,10 @@ void bcl_free(void) { bc_vm_atexit(); - memset(&vm, 0, sizeof(BcVm)); - BC_SIG_UNLOCK; + memset(&vm, 0, sizeof(BcVm)); + assert(!vm.running && !vm.sig && !vm.sig_lock); }