assertion-synthesizer

# Assertion Synthesizer Generate comprehensive test assertions by analyzing code implementation, behavior, and expected outputs. ## Workflow ### 1. Analyze Code Read and understand the implementation to identify testable behavior: - **Function signatures**: Parameters, return types, side effects - **Logic paths**: Conditionals, loops, branching behavior - **Edge cases**: Boundary conditions, null/empty inputs, error conditions - **State changes**: Object mutations, attribute modifications - **Dependencies**: External calls, database operations, I/O ### 2. Identify Test Scenarios Extract scenarios that need assertions: - **Happy path**: Normal inputs producing expected outputs - **Edge cases**: Empty lists, zero values, boundary conditions - **Error cases**: Invalid inputs, exceptions, error handling - **State verification**: Object state before/after operations - **Collection assertions**: List contents, ordering, membership ### 3. Generate Assertions Create appropriate assertions for each scenario: **Assertion Types:** - **Equality**: `assert result == expected`, `assertEquals(expected, actual)` - **Truthiness**: `assert is_valid`, `assertTrue(condition)` - **Collections**: `assert item in list`, `assertContains(list, item)` - **Exceptions**: `pytest.raises(Exception)`, `assertThrows(Exception)` - **State**: `assert obj.status == "active"`, `assertEquals("active", obj.getStatus())` ### 4. Structure Tests Organize assertions into well-structured test functions: ...