Revision bd3f748f - guarantee(s) - Lustrec-Tests

« Previous | Next »

Revision bd3f748f

Added by Pierre-Loïc Garoche almost 6 years ago

ID bd3f748f35cfd0ecaf46f5f7a2625fe9c7694bd6
Parent 99a9d521
Child 85dbaa74

guarantee(s)

added
modified
copied
renamed
deleted

regression_tests
- lustre_files
  - success
    - Simulink
      - src_many_files
        Assignment6_PP.LUSTREC_Assignment6_PP__output_values
        Assignment7_PP.LUSTREC_Assignment7_PP__output_values
        Assignment8_PP.LUSTREC_Assignment8_PP__output_values
        Assignment_PP.LUSTREC_Assignment_PP__output_values
        Assignment_port_3.LUSTREC_Assignment_port_3__output_values
        DotProduct_PP.LUSTREC_DotProduct_PP__output_values
        LookupTable1D_output_int_PP.LUSTREC_LookupTable1D_output_int_PP__output_values
        Math2_PP.LUSTREC_Math2_PP__output_values
        Math_PP.LUSTREC_Math_PP__output_values
        MultiPortSwitch_2_PP.LUSTREC_MultiPortSwitch_2_PP__output_values
        MultiPortSwitch_3_PP.LUSTREC_MultiPortSwitch_3_PP__output_values
        MultiPortSwitch_4_PP.LUSTREC_MultiPortSwitch_4_PP__output_values
        RelOp_PP.LUSTREC_RelOp_PP__output_values
        Rounding1_PP.LUSTREC_Rounding1_PP__output_values
        SaturationDynamic_PP.LUSTREC_SaturationDynamic_PP__output_values
        Saturation_PP.LUSTREC_Saturation_PP__output_values
        Trigonometry_PP.LUSTREC_Trigonometry_PP__output_values (diff)
        assignment_index_1_PP.LUSTREC_assignment_index_1_PP__output_values
        assignment_mixed_port_u_expanded_PP.LUSTREC_assignment_mixed_port_u_expanded_PP__output_values
        bias_test_PP.LUSTREC_bias_test_PP__output_values
        datatypeconversion10_PP.LUSTREC_datatypeconversion10_PP__output_values
        datatypeconversion3_PP.LUSTREC_datatypeconversion3_PP__output_values
        datatypeconversion4_PP.LUSTREC_datatypeconversion4_PP__output_values
        datatypeconversion5_PP.LUSTREC_datatypeconversion5_PP__output_values
        datatypeconversion6_PP.LUSTREC_datatypeconversion6_PP__output_values
        datatypeconversion7_PP.LUSTREC_datatypeconversion7_PP__output_values
        datatypeconversion8_PP.LUSTREC_datatypeconversion8_PP__output_values
        datatypeconversion_test_PP.LUSTREC_datatypeconversion_test_PP__output_values
        enable_test_PP.LUSTREC_enable_test_PP__output_values
        gain_test_ElementWise_PP.LUSTREC_gain_test_ElementWise_PP__output_values
        gain_test_Ku_PP.LUSTREC_gain_test_Ku_PP__output_values
        gain_test_Kuuvect_PP.LUSTREC_gain_test_Kuuvect_PP__output_values
        gain_test_uK_PP.LUSTREC_gain_test_uK_PP__output_values
        math_int_2_test_PP.LUSTREC_math_int_2_test_PP__output_values
        quantizer_PP.LUSTREC_quantizer_PP__output_values
        saturationdynamic_test_PP.LUSTREC_saturationdynamic_test_PP__output_values
        selector_port_1_PP.LUSTREC_selector_port_1_PP__output_values
        selector_port_2_PP.LUSTREC_selector_port_2_PP__output_values
        selector_port_matrix_1_PP.LUSTREC_selector_port_matrix_1_PP__output_values
        selector_port_matrix_2_PP.LUSTREC_selector_port_matrix_2_PP__output_values
        selector_port_matrix_3_PP.LUSTREC_selector_port_matrix_3_PP__output_values
        selector_port_matrix_4_PP.LUSTREC_selector_port_matrix_4_PP__output_values
        selector_port_matrix_5_PP.LUSTREC_selector_port_matrix_5_PP__output_values
    - automata
      - with_properties
        counters.lus (diff)
        heater4.lus (diff)
    - kind_fmcad08
    - machine_types
      - kind_fmcad
        two_counters.lus (diff)
tests
- cocospec
  - BacteriaPopulation.lus (diff)
  - DaysEnum_PP.KIND2.lus (diff)
  - ElevatorSpec.lus (diff)
  - FSMAutopilotSpec.lus (diff)
  - FSMSensorSpec.lus (diff)
  - FSMSpec.lus (diff)
  - StopwatchSpec.lus (diff)
  - TriplexSignalMonitorSpec.lus (diff)
  - bacteria.lus (diff)
  - bacteriaPopulationStateflow_PP.lus (diff)
  - bacteriaPopulation_PP.lus (diff)
  - integrator_12BWithoutModesAndInitialization.lus (diff)
  - refinement.lus (diff)
  - simple-ok.lus
  - simple_ok.lus
- linear_ctl
  - ex1.h (diff)