lab_mc_test_original.e

关于一个Motor Controller示例的E语言验证程序！

File: lab_mc_test_original.e

<'

import lab_mc_env;

extend lab_mc_driver_u {

    keep soft mc_delay == 1;

    keep soft reset_delay == select {
        1: [20..399];
        9: [400..511];
    };
    
    keep mc_target_speed >= mc_min_speed;

    keep mc_delay in [499..505] => reset_delay == 20;
};

'>