lab_mc_test_original.e

来自「关于一个Motor Controller示例的E语言验证程序！」· E 代码 · 共 22 行

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;
};

'>