Open stylewarning opened 2 years ago
TEST-MEMOIZE-PAULI-BASIS-MATRICES Unhandled FIASCO::FAILED-ASSERTION in thread #<SB-THREAD:THREAD "main thread" RUNNING {1000560083}>: Test assertion failed when running TEST-MEMOIZE-PAULI-BASIS-MATRICES: Binary predicate (>= X Y) failed. x: NON-MEMO-TIMES => 7 y: (* MEMO-TIMES MIN-SLOW-TO-FAST-RATIO) => 8 Backtrace for: #<SB-THREAD:THREAD "main thread" RUNNING {1000560083}> 0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK #<FIASCO::FAILED-ASSERTION "Binary predicate ~A failed.~%~ x: ~S => ~S~%~ y: ~S => ~S" {1008CED4D3}> #<unused argument> :QUIT T) 1: (SB-DEBUG::RUN-HOOK SB-EXT:*INVOKE-DEBUGGER-HOOK* #<FIASCO::FAILED-ASSERTION "Binary predicate ~A failed.~%~ x: ~S => ~S~%~ y: ~S => ~S" {1008CED4D3}>) 2: (INVOKE-DEBUGGER #<FIASCO::FAILED-ASSERTION "Binary predicate ~A failed.~%~ x: ~S => ~S~%~ y: ~S => ~S" {1008CED4D3}>) 3: (ERROR #<FIASCO::FAILED-ASSERTION "Binary predicate ~A failed.~%~ x: ~S => ~S~%~ y: ~S => ~S" {1008CED4D3}>) 4: (SB-KERNEL:WITH-SIMPLE-CONDITION-RESTARTS ERROR NIL #<FIASCO::FAILED-ASSERTION "Binary predicate ~A failed.~%~ x: ~S => ~S~%~ y: ~S => ~S" {1008CED4D3}>) 5: (FIASCO::RECORD-FAILURE FIASCO::FAILED-ASSERTION :FORM (IS (>= NON-MEMO-TIMES (* MEMO-TIMES MIN-SLOW-TO-FAST-RATIO))) :FORMAT-CONTROL "Binary predicate ~A failed.~%~ x: ~S => ~S~%~ y: ~S => ~S" :FORMAT-ARGUMENTS ((>= FIASCO::X FIASCO::Y) NON-MEMO-TIMES 7 (* MEMO-TIMES MIN-SLOW-TO-FAST-RATIO) 8)) 6: ((LABELS TEST-MEMOIZE-PAULI-BASIS-MATRICES :IN TEST-MEMOIZE-PAULI-BASIS-MATRICES)) 7: ((LABELS FIASCO::RUN-TEST-BODY :IN FIASCO::RUN-TEST-BODY-IN-HANDLERS)) 8: (FIASCO::CALL-WITH-TEST-HANDLERS #<CLOSURE (LAMBDA NIL :IN FIASCO::RUN-TEST-BODY-IN-HANDLERS) {10059C70FB}>) 9: (FIASCO::PRETTY-RUN-TEST #<test TEST-MEMOIZE-PAULI-BASIS-MATRICES> #<FUNCTION (LABELS TEST-MEMOIZE-PAULI-BASIS-MATRICES :IN TEST-MEMOIZE-PAULI-BASIS-MATRICES) {546B8E4B}>) 10: ((LABELS #:BODY-SYM0 :IN TEST-MEMOIZE-PAULI-BASIS-MATRICES)) 11: (TEST-MEMOIZE-PAULI-BASIS-MATRICES) 12: ((LABELS FIASCO-SUITES::CL-QUIL-TESTS :IN FIASCO-SUITES::CL-QUIL-TESTS)) 13: ((LABELS FIASCO::RUN-TEST-BODY :IN FIASCO::RUN-TEST-BODY-IN-HANDLERS)) 14: (FIASCO::CALL-WITH-TEST-HANDLERS #<CLOSURE (LAMBDA NIL :IN FIASCO::RUN-TEST-BODY-IN-HANDLERS) {100A25FA7B}>)