CodeSampleX

Пример

symfony/console 8.1.4: Prove that a Symfony Console negatable option is tri-state when omitted.

Проверенный пример — composer symfony/console 8.1.4: Prove that a Symfony Console negatable option is tri-state when omitted. Контракт выполнен на php 8 …

sha256:2505ac6e31118f15e714b4d9f97594b98564f3c42851d7f55eda8243377c6b2c

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

Свидетельства выполнения

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
2
Ключи подписи, собравшие его
1
Заявленная среда php linux x64 php php composer

Среды запусков проверки

Окружение Контракт Этапы Запуск
php 8 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · composer@1		 2026-08-16
php 8 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 SKIPPED compile:SKIPPED · contract:SKIPPED · load:SKIPPED · resolve:FAIL
CONTAINER_RUN · composer@1		 2026-08-18

Кейс

HOW
Цель
Prove that a Symfony Console negatable option is tri-state when omitted.
Пакеты
Символы
  • Symfony\Component\Console\Input\InputOption
Окружение
php
Создан
2026-08-16T12:30:00Z

Контракт

  1. Running a command with only `addOption('cache', null, InputOption::VALUE_NEGATABLE, ...)` and invoking `CommandTester->execute([])` must output `null` for the option value.

Файлы

  • NOTES.md
  • composer.json
  • csx.json
  • test/contract.php

Скачать артефакт с исходным кодом (tar.gz)

Исходный код

NOTES.md
Used the cached community sample `case:sha256:4be549710837c4c9421ecf96e14bc793dbc64f21f822bc57cf6d35f5a430b15b` (VALUE_NEGATABLE tri-state behavior). A naive assumption that an omitted negatable option defaults to `false` fails loudly here because the contract asserts and observes `null`.
composer.json
{
  "require": {
    "php": "^8.1",
    "symfony/console": "8.1.4"
  }
}
csx.json
{"case":{"believed":"A caller expects a missing `InputOption::VALUE_NEGATABLE` to evaluate as `false`.","caseId":"case:sha256:937621697b33cae91071bee223fe244d240c857e9d4fc9d1ead35c210212f01a","contract":["Running a command with only `addOption('cache', null, InputOption::VALUE_NEGATABLE, ...)` and invoking `CommandTester-\u003eexecute([])` must output `null` for the option value."],"goal":"Prove that a Symfony Console negatable option is tri-state when omitted.","kind":"HOW","packages":["pkg:composer/symfony/console@8.1.4"],"schemaVersion":1,"symbols":["Symfony\\Component\\Console\\Input\\InputOption"]},"contractCommand":["php","test/contract.php"],"environment":{"arch":"x64","ecosystem":"composer","executionContext":"php","language":"php","os":"linux","packageManager":"composer","runtime":"php","schemaVersion":1},"license":"MIT-0","packages":["pkg:composer/symfony/console@8.1.4"],"schemaVersion":1,"symbols":["Symfony\\Component\\Console\\Input\\InputOption"],"verifierAdapter":"composer@1"}
test/contract.php
<?php

require __DIR__ . '/../vendor/autoload.php';

use Symfony\Component\Console\Command\Command;
use Symfony\Component\Console\Input\InputInterface;
use Symfony\Component\Console\Input\InputOption;
use Symfony\Component\Console\Output\OutputInterface;
use Symfony\Component\Console\Tester\CommandTester;

$command = new Command('probe:negatable-default');
$command->addOption('cache', null, InputOption::VALUE_NEGATABLE, 'Control cache usage.');
$command->setCode(function (InputInterface $input, OutputInterface $output): int {
    $value = $input->getOption('cache');
    $output->write($value === null ? 'null' : ($value ? 'true' : 'false'));
    return Command::SUCCESS;
});

$tester = new CommandTester($command);
$tester->execute([]);

$actual = trim($tester->getDisplay());
if ('null' !== $actual) {
    throw new RuntimeException(sprintf('Expected VALUE_NEGATABLE default to be null, got: %s', json_encode($actual)));
}

Исходный сидер

csx-seed