tueda / form

48%

master: 54%

LAST BUILD ON BRANCH stdin

branch: stdin

CHANGE BRANCH

x

Reset

• stdin
• 4.3
• 4.3-ci-build-arm64-linux-wip1
• 4.3-doxygen-tarball
• 4.3-typo
• Herren_tablebase_readonly
• appveyor
• backtrace-1
• bigint
• build/init-zstd-on-demand
• check-pad-wip1
• check-stat-before-summary
• check_on_windows
• check_rb
• check_rb-detect-form-wordsize
• check_rb-stat-before-summary
• ci-build-arm64-linux
• ci-build-arm64-linux-wip1
• ci-bump-macos
• ci-cache
• ci-dev-update
• ci-fix-flag-name
• ci-fix-macos
• ci-fix-macos-wip1
• ci-forcer
• ci-gcc-14-on-mac-wip1
• ci-i386
• ci-latest-osx
• ci-m1mac
• ci-macos-15-intel
• ci-msvc
• ci-msvc-2
• ci-remove-parvorm
• ci-setup-build-action
• ci-setup-build-action-wip
• ci-setup-build-action-wip1
• ci-setup-build-action-wip10
• ci-setup-build-action-wip11
• ci-setup-build-action-wip12
• ci-setup-build-action-wip13
• ci-setup-build-action-wip14
• ci-setup-build-action-wip2
• ci-setup-build-action-wip4
• ci-setup-build-action-wip5
• ci-setup-build-action-wip6
• ci-setup-build-action-wip7
• ci-skip-moebius_3
• ci-windows-packaging
• ci/build-arm64-windows
• ci/build-arm64-windows-wip2
• ci/deploy-enable-flint
• ci/total-memory
• ci/ubuntu-24.04
• ci/ubuntu-24.04-wip1
• coveralls
• cpp11-move
• deploy
• deploy-macos-mpfr
• detect-form-wordsize
• dev
• dev-check
• dev-gperftools
• dev1
• develop
• diagrams-20250717-wip1
• disable-test-diagrams
• err_testsuite
• fast-ci
• feat-latex2html
• feat-latex2html-permalink
• feat-zstd
• feat-zstd-1
• feat-zstd-2
• feat-zstd-3
• feat-zstd-wip1
• feat-zstd-wip3
• feat-zstd-wip4
• feat/diagrams-wip
• feat/diagrams-wip1
• fix
• fix-438
• fix-440
• fix-490
• fix-525
• fix-ci
• fix-ci-latex2html
• fix-ci-mpi
• fix-conj-freeze
• fix-cov
• fix-cov2
• fix-cov3
• fix-diagram-wip1
• fix-diagram-wip2
• fix-doc
• fix-doc-improper-syntax-in-diagrams
• fix-doc-inparallel
• fix-doxygen
• fix-examples-in-readme
• fix-extcmd-selftest
• fix-forcer-cache
• fix-gcc-warnings
• fix-git-version-gen-date
• fix-latex2html
• fix-mul
• fix-not-repo-build
• fix-readme-f_is_not_e
• fix-sanitizer
• fix-test-forgotten-multithreaded
• fix-timeoutafter
• fix-topologies
• fix-typo
• fix-windows
• fix/moebius-32bit
• fix_exit-20200717
• fllor_master
• gcc-warnings
• gettimeofday
• github-actions-10
• github-actions-12
• github-actions-13
• github-actions-14
• github-actions-2
• github-actions-6
• github-actions-7
• github-actions-8
• github-actions-9
• github-actions-doc
• github-actions-macos
• github-actions-macos-test
• github-actions-macos-test2
• github-actions-parform-2
• improve-form5
• improve-form5-2
• improve-form5-3
• improve-get_variables
• improve-test-suite-wip1
• improve-test-suite-wip2
• improve-test-suite-wip4
• improve-test-suite-wip7
• jodavies-flint-cleanup-deploy
• jodavies-test-color
• jodavies_issue-508_rebased
• loosedecl
• master
• mreininghaus-ftime-clock_gettime
• package-manager
• package-manager-dev
• package-manager-v1
• package-manager-v2
• package-manager-v3
• pedantic
• pr-fix-topologies-1
• pr-improve-test-suite-1
• pr/ci/deploy-macos-15-intel
• pr/feat/diagrams-20250717
• pr/flint-version-check
• refactor-heap
• refs/tags/v4.3.1
• refs/tags/v9.9.12
• remove-travis
• runtime-deprecation-warning
• setup-lint-1
• stdin-appveyor
• stdin_20180423
• test-20200718
• test-20200718v2
• test-20200810
• test-20200811
• test-260
• test-470
• test-check-more-pretty
• test-check-on-windows
• test-check-on-windows-1
• test-check-on-windows-2
• test-check-on-windows-3
• test-check-on-windows-debug-1
• test-check-on-windows-wip1
• test-checkpoint
• test-checkpoint-2
• test-checkpoint-3
• test-color-1
• test-diagrams
• test-expected-message
• test-expected-message-improved
• test-extra_args
• test-fake-valgrind
• test-fix-forcer-cache
• test-github-actions-windows
• test-include
• test-msvc-1
• test-msvc-2
• test-pre-commit-wip1
• test-qgraf
• test-ulimit
• test-w2
• test-w2-1
• test-windows-3
• test-windows-4
• test-windows-6
• test-windows-7
• test/moebius_3
• test211
• test211b
• test258
• test43
• tests-20200717
• tests-20200729
• tmp4
• v4.2.1
• v4.2.1-rc1
• v9.9.9-dev.2
• v9.9.9-dev.3
• v99.99.1
• v99.99.100
• v99.99.2
• v99.99.99
• v99.99.99-dev.1

Build # 562

Build Type

push

travis-ci

Committed by tueda

Commit Message

Input file name "-" to use stdin as input

This patch makes FORM read the input from the standard input rather than
a file when "-" is given in the command line option.

Example:
  cat <<END | form -
  #:workspace 1234K
  #:wtimestats on
  On setup;
  S x;
  L F = (1+x)^2;
  P;
  .end
  END

Run Details

30014 of 62219 relevant lines covered (48.24%)

495435.21 hits per line