use super::trident_grammar;

#[test]
fn grammar_json_roundtrip() {
    let grammar = trident_grammar();
    let json = grammar.to_json();
    // Verify it produces valid JSON with expected structure
    assert!(json.starts_with('{'));
    assert!(json.contains("\"name\": \"trident\""));
    assert!(json.contains("\"source_file\""));
}

#[test]
fn rule_count() {
    let grammar = trident_grammar();
    // 59 rules in the existing grammar.json
    assert_eq!(
        grammar.rules.len(),
        59,
        "expected 59 grammar rules, got {}",
        grammar.rules.len()
    );
}

#[test]
fn first_and_last_rules() {
    let grammar = trident_grammar();
    assert_eq!(grammar.rules.first().map(|r| r.0), Some("source_file"));
    assert_eq!(grammar.rules.last().map(|r| r.0), Some("line_comment"));
}

#[test]
fn extras_are_whitespace_and_comments() {
    let grammar = trident_grammar();
    assert_eq!(grammar.extras.len(), 2);
}

Dimensions

trident/src/deploy/tests.rs
cw-cyber/contracts/hub-skills/src/tests.rs
trident/src/lsp/semantic/tests.rs
trident/src/syntax/format/tests.rs
cw-cyber/contracts/hub-libs/src/tests.rs
cw-cyber/contracts/hub-channels/src/tests.rs
trident/src/package/registry/tests.rs
trident/src/syntax/lexer/tests.rs
trident/src/cost/stack_verifier/tests.rs
cw-cyber/contracts/hub-networks/src/tests.rs
trident/src/verify/sym/tests.rs
cw-cyber/contracts/cw-cyber-subgraph/src/tests.rs
cw-cyber/contracts/cw-cyber-gift/src/tests.rs
trident/src/verify/report/tests.rs
trident/src/package/store/tests.rs
cw-cyber/contracts/hub-tokens/src/tests.rs
trident/src/config/scaffold/tests.rs
trident/src/verify/solve/tests.rs
trident/src/verify/smt/tests.rs
cw-cyber/contracts/graph-filter/src/tests.rs
trident/src/package/manifest/tests.rs
trident/src/verify/synthesize/tests.rs
cw-cyber/contracts/cw-cyber-passport/src/tests.rs
trident/src/verify/equiv/tests.rs
trident/src/lsp/util/tests.rs
trident/src/config/resolve/tests.rs
trident/src/package/hash/tests.rs
trident/src/ir/lir/tests.rs
cw-cyber/contracts/hub-protocols/src/tests.rs
trident/src/ir/tir/optimize/tests.rs
trident/src/neural/data/tir_graph/tests.rs
trident/src/ir/tir/lower/tests.rs
trident/src/ir/tir/stack/tests.rs

Local Graph