Skip to content

Commit

Permalink
Update NegativeRTimed.ts
Browse files Browse the repository at this point in the history
  • Loading branch information
perturbing authored May 17, 2023
1 parent 2f7abd8 commit b5e67d7
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions code/Week06/lecture_tests/NegativeRTimed.ts
Original file line number Diff line number Diff line change
Expand Up @@ -87,7 +87,7 @@ async function runTest(dtm: NegativeRTimedDatum, r: NegativeRTimedRedeemer, n: n

//console.log(await emulator.getUtxos(address2));
}
//await runTest({deadline:BigInt(Date.now()+20000*5+1000)},-42n,5*20);
//await runTest({deadline:BigInt(Date.now()+20000*5+1000)},-42n,5*20+1);

// UNIT tests

Expand Down Expand Up @@ -184,4 +184,4 @@ Deno.test("PT: Anything before the deadline always fails", () => {
assert(errorThrown,'Test failed for r= ' + r + ' and n= ' + n);
}
),{numRuns:100});
})
})

0 comments on commit b5e67d7

Please sign in to comment.