fixes to exec_log generation

Author: jaromil

.github/workflows/main.yml

@@ -52,6 +52,7 @@ jobs:
         run: npm ci # or pnpm install / yarn install / bun install
       - name: Build with VitePress
         run: |
+          rm -f src/_exec_log.md
           npm run docs:build
           ls -l src
           ls -l .vitepress/dist

ecdsa-rdfc-2019.bats

@@ -41,6 +41,7 @@ EOF
 }
 
 @test "Create the rdf-canon objects" {
+  export contract=${algo}_rdf-canon-objects
   cat <<EOF > $SRC/unsecuredDocument.data.json
 {
   "unsecuredDocument": {
@@ -61,7 +62,6 @@ EOF
   }
 }
 EOF
-  export contract="ecdsa_rdf-canon-objects"
   input data $SRC/unsecuredDocument.data.json
   input keys $SRC/${algo}_keyring.out.json
   cat <<EOF > $SRC/${contract}.slang

eddsa-rdfc-2022.bats

@@ -28,7 +28,7 @@ setup_file() {
 }
 
 @test "Create the keyring and document" {
-  export contract=eddsa_keyring
+  export contract=${algo}_keyring
 cat <<EOF > $SRC/eddsa_keyring.keys.json
 { "w3c test key": "c96ef9ea10c5e414c471723aff9de72c35fa5b70fae97e8832ecac7d2e2b8ed6" }
 EOF