MCPcopy Create free account
hub / github.com/cortex-js/compute-engine / verify.test.ts

File verify.test.ts

test/compute-engine/verify.test.ts:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1import { ComputeEngine } from '../../src/compute-engine';
2
3describe('VERIFY', () => {
4 test('returns undefined when predicate cannot be decided', () => {

Callers

nothing calls this directly

Calls 8

propositionForFunction · 0.85
verifyMethod · 0.65
exprMethod · 0.65
assumeMethod · 0.65
parseMethod · 0.65
declareMethod · 0.65
evaluateMethod · 0.65
buildFunction · 0.50

Tested by

no test coverage detected