mirror of
https://github.com/morluto/rea.git
synced 2026-11-14 10:43:30 +00:00
test: remove vacuous and duplicate assertions
This commit is contained in:
1 parent
41681742cc
commit
56e2bf7696
3 files changed
-23
No files matched your search
@@ -89,6 +89,4 @@ describe("analysis snapshot contract", () => {
|
||||
}),
|
||||
).toBeUndefined();
|
||||
});
|
||||
|
||||
it("rejects an input without the current snapshot shape", () => {});
|
||||
});
|
||||
@@ -200,17 +200,6 @@ async function assertRejectedInlineEvidence(client: Client): Promise<void> {
|
||||
},
|
||||
});
|
||||
expect(spoofed.isError).toBe(true);
|
||||
|
||||
const legacyComparisonReferences = await client.callTool({
|
||||
name: "compare_application_versions",
|
||||
arguments: {
|
||||
left_evidence_id:
|
||||
JAVASCRIPT_VERSION_COMPARISON_FULL_EVIDENCE_EXAMPLE.left.evidence_id,
|
||||
right_evidence_id:
|
||||
JAVASCRIPT_VERSION_COMPARISON_FULL_EVIDENCE_EXAMPLE.right.evidence_id,
|
||||
},
|
||||
});
|
||||
expect(legacyComparisonReferences.isError).toBe(true);
|
||||
}
|
||||
|
||||
describe("application workflow MCP parity", () => {
|
||||
|
||||
@@ -40,7 +40,6 @@ describe("real Hopper semantic assertions", () => {
|
||||
|
||||
it("rejects success-shaped dossiers without truthful semantic content", () => {
|
||||
const dossier = validDossier();
|
||||
expect(requireFunctionDossier(dossier, "0x1000")).toEqual(dossier);
|
||||
expect(() =>
|
||||
requireFunctionDossier(
|
||||
{
|
||||
@@ -50,15 +49,6 @@ describe("real Hopper semantic assertions", () => {
|
||||
"0x1000",
|
||||
),
|
||||
).toThrow(/embedded failure/u);
|
||||
expect(requireFunctionDossier(dossier, "0x1000")).not.toHaveProperty(
|
||||
"instruction_scan",
|
||||
);
|
||||
});
|
||||
|
||||
it("accepts a complete inline dossier", () => {
|
||||
const dossier = validDossier();
|
||||
const complete = { ...dossier, pseudocode: "😀" };
|
||||
expect(requireFunctionDossier(complete, "0x1000")).toEqual(complete);
|
||||
});
|
||||
});
|
||||
|
||||
|
||||
Reference in new issue
Block a user