diff --git a/invariant.ts b/invariant.ts index 4c365ec..fa0e6e0 100644 --- a/invariant.ts +++ b/invariant.ts @@ -193,8 +193,8 @@ export const checkInvariants = ( radio.emit( "logMessage", - `₿ ${simnet.burnBlockHeight.toString().padStart(6)} ` + - `Ӿ ${simnet.blockHeight.toString().padStart(6)} ` + + `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` + + `Ӿ ${simnet.blockHeight.toString().padStart(8)} ` + dim(`${sutCallerWallet} `) + `${getContractNameFromRendezvousId(r.rendezvousContractId)} ` + `${underline(r.selectedFunction.name)} ` + @@ -204,8 +204,8 @@ export const checkInvariants = ( radio.emit( "logMessage", dim( - `₿ ${simnet.burnBlockHeight.toString().padStart(6)} ` + - `Ӿ ${simnet.blockHeight.toString().padStart(6)} ` + + `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` + + `Ӿ ${simnet.blockHeight.toString().padStart(8)} ` + `${sutCallerWallet} ` + `${getContractNameFromRendezvousId( r.rendezvousContractId @@ -222,8 +222,8 @@ export const checkInvariants = ( radio.emit( "logMessage", dim( - `₿ ${simnet.burnBlockHeight.toString().padStart(6)} ` + - `Ӿ ${simnet.blockHeight.toString().padStart(6)} ` + + `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` + + `Ӿ ${simnet.blockHeight.toString().padStart(8)} ` + `${sutCallerWallet} ` + `${getContractNameFromRendezvousId(r.rendezvousContractId)} ` + `${underline(r.selectedFunction.name)} ` + @@ -260,8 +260,8 @@ export const checkInvariants = ( if (invariantCallResultJson.value === true) { radio.emit( "logMessage", - `₿ ${simnet.burnBlockHeight.toString().padStart(6)} ` + - `Ӿ ${simnet.blockHeight.toString().padStart(6)} ` + + `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` + + `Ӿ ${simnet.blockHeight.toString().padStart(8)} ` + `${dim(invariantCallerWallet)} ` + `${green("[PASS]")} ` + `${getContractNameFromRendezvousId(r.rendezvousContractId)} ` + @@ -286,8 +286,8 @@ export const checkInvariants = ( radio.emit( "logMessage", red( - `₿ ${simnet.burnBlockHeight.toString().padStart(6)} ` + - `Ӿ ${simnet.blockHeight.toString().padStart(6)} ` + + `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` + + `Ӿ ${simnet.blockHeight.toString().padStart(8)} ` + `${invariantCallerWallet} ` + `[FAIL] ` + `${getContractNameFromRendezvousId(r.rendezvousContractId)} ` + diff --git a/property.ts b/property.ts index c1281d0..7c1aff3 100644 --- a/property.ts +++ b/property.ts @@ -193,8 +193,8 @@ export const checkProperties = ( if (discarded) { radio.emit( "logMessage", - `₿ ${simnet.burnBlockHeight.toString().padStart(6)} ` + - `Ӿ ${simnet.blockHeight.toString().padStart(6)} ` + + `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` + + `Ӿ ${simnet.blockHeight.toString().padStart(8)} ` + `${dim(testCallerWallet)} ` + `${yellow("[WARN]")} ` + `${r.testContractId.split(".")[1]} ` + @@ -221,8 +221,8 @@ export const checkProperties = ( if (discardedInPlace) { radio.emit( "logMessage", - `₿ ${simnet.burnBlockHeight.toString().padStart(6)} ` + - `Ӿ ${simnet.blockHeight.toString().padStart(6)} ` + + `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` + + `Ӿ ${simnet.blockHeight.toString().padStart(8)} ` + `${dim(testCallerWallet)} ` + `${yellow("[WARN]")} ` + `${r.testContractId.split(".")[1]} ` + @@ -236,8 +236,8 @@ export const checkProperties = ( ) { radio.emit( "logMessage", - `₿ ${simnet.burnBlockHeight.toString().padStart(6)} ` + - `Ӿ ${simnet.blockHeight.toString().padStart(6)} ` + + `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` + + `Ӿ ${simnet.blockHeight.toString().padStart(8)} ` + `${dim(testCallerWallet)} ` + `${green("[PASS]")} ` + `${r.testContractId.split(".")[1]} ` + @@ -260,8 +260,8 @@ export const checkProperties = ( radio.emit( "logMessage", red( - `₿ ${simnet.burnBlockHeight.toString().padStart(6)} ` + - `Ӿ ${simnet.blockHeight.toString().padStart(6)} ` + + `₿ ${simnet.burnBlockHeight.toString().padStart(8)} ` + + `Ӿ ${simnet.blockHeight.toString().padStart(8)} ` + `${testCallerWallet} ` + `[FAIL] ` + `${r.testContractId.split(".")[1]} ` +