object fmMainForm: TfmMainForm
  Left = 0
  Top = 0
  Caption = 'Loop Invariant Optimization Tests'
  ClientHeight = 75
  ClientWidth = 646
  FormFactor.Width = 1920
  FormFactor.Height = 1200
  FormFactor.Devices = [dkDesktop]
  OnCreate = FormCreate
  object Label1: TLabel
    Font.Size = 16.000000000000000000
    StyledSettings = [ssFamily, ssFontColor]
    Height = 33.000000000000000000
    Position.X = 16.000000000000000000
    Position.Y = 24.000000000000000000
    Text = 'Loop Invariant Test'
    Width = 241.000000000000000000
  end
  object edtResult: TEdit
    DisableFocusEffect = False
    Font.Size = 16.000000000000000000
    KeyboardType = vktDefault
    Password = False
    Position.X = 264.000000000000000000
    Position.Y = 24.000000000000000000
    Width = 137.000000000000000000
    Height = 33.000000000000000000
  end
  object edtLoops: TEdit
    DisableFocusEffect = False
    Font.Size = 16.000000000000000000
    KeyboardType = vktDefault
    Password = False
    Text = '1000'
    Position.X = 520.000000000000000000
    Position.Y = 24.000000000000000000
    Width = 121.000000000000000000
    Height = 33.000000000000000000
  end
  object btnGoTest: TButton
    DisableFocusEffect = False
    Font.Size = 16.000000000000000000
    StyledSettings = [ssFamily, ssFontColor]
    Height = 33.000000000000000000
    Position.X = 416.000000000000000000
    Position.Y = 24.000000000000000000
    Text = 'Go'
    Width = 97.000000000000000000
    OnClick = btnGoTestClick
  end
end
