Code
Hub
Workspaces
Connect
Indexed graphs
Engine
MCP
copy
hub
/
github.com/meteor/meteor
/ logic_tests.js
File
logic_tests.js
packages/logic-solver/logic_tests.js:None–None ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
1
2
Tinytest.add(
"logic-solver - require"
,
function
(test) {
3
var
s =
new
Logic.Solver;
4
Callers
nothing calls this directly
Calls
15
runClauseTests
Function · 0.85
equalBitFormulas
Function · 0.85
formatLines
Function · 0.85
boardSquare
Function · 0.85
assertEightDifferent
Function · 0.85
isTrue
Function · 0.85
isFalse
Function · 0.85
withSolver
Function · 0.85
solve
Function · 0.85
add
Method · 0.80
equal
Method · 0.80
throws
Method · 0.80
Tested by
no test coverage detected