about summary refs log blame commit diff
path: root/tvix/eval/src/tests/one_offs.rs
blob: 565d1dd48f778d3e8b6e4efd00d97f3dd2d572bc (plain) (tree)
1
2
3
4
5
6
7
8
9
10






                                                                      
                                            

                                                        
                                                                   





                                  





                                              
 


                           
                                                                         







                                        
use crate::*;

#[test]
fn test_source_builtin() {
    // Test an evaluation with a source-only builtin. The test ensures
    // that the artificially constructed thunking is correct.

    let mut eval = Evaluation::new_impure();
    eval.src_builtins.push(("testSourceBuiltin", "42"));

    let result = eval.evaluate("builtins.testSourceBuiltin", None);
    assert!(
        result.errors.is_empty(),
        "evaluation failed: {:?}",
        result.errors
    );

    let value = result.value.unwrap();
    assert!(
        matches!(value, Value::Integer(42)),
        "expected the integer 42, but got {}",
        value,
    );
}

#[test]
fn skip_broken_bytecode() {
    let result = Evaluation::new_pure().evaluate(/* code = */ "x", None);

    assert_eq!(result.errors.len(), 1);

    assert!(matches!(
        result.errors[0].kind,
        ErrorKind::UnknownStaticVariable
    ));
}