DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download

⟦d8bf098c1⟧ TextFile

    Length: 256 (0x100)
    Types: TextFile
    Names: »V«

Derivation

└─⟦db1c56801⟧ Bits:30000748 8mm tape, Rational 1000, TESTMATE 2_2_0
    └─ ⟦866d14df1⟧ »DATA« 
        └─⟦97c804b2f⟧ 
            └─⟦this⟧

TextFile

with Execution_Result;

package Fails_Overflow_Support is

  type Test_Status_Set is array (Execution_Result.Object) of Boolean;


  function Number_Of_Fails_Overflow
            (Failure_Set : Test_Status_Set) return Boolean;


end Fails_Overflow_Support;