From c7d1b501ff337e671e0931a081a64dc55eb1730c Mon Sep 17 00:00:00 2001 From: Sanjit Bhat Date: Thu, 17 Oct 2024 09:53:13 -0400 Subject: [PATCH] prove isReg even for basictc --- kt/basictest.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kt/basictest.go b/kt/basictest.go index 8626747..d60564a 100644 --- a/kt/basictest.go +++ b/kt/basictest.go @@ -46,7 +46,6 @@ func testBasic(servAddr, adtr0Addr, adtr1Addr uint64) { bob := newClient(bobUid, servAddr, servSigPk, servVrfPk) isReg, pk1, ep1, err7 := bob.Get(aliceUid) primitive.Assume(!err7.err) - primitive.Assume(isReg) // same epoch to avoid timeseries for basic TC. primitive.Assume(ep0 == ep1) @@ -61,5 +60,6 @@ func testBasic(servAddr, adtr0Addr, adtr1Addr uint64) { primitive.Assume(!err11.err) // assert keys equal. + primitive.Assert(isReg) primitive.Assert(std.BytesEqual(pk0, pk1)) }