Patch Series

Subject Add testable code specifications
Author gpaoloni@redhat.com
Date 2025-09-10 16:59:58 +0000 UTC
Version 2
Cc acarmina@redhat.com chuckwolber@gmail.com corbet@lwn.net gpaoloni@redhat.com gregkh@linuxfoundation.org kstewart@linuxfoundation.org linux-doc@vger.kernel.org linux-kernel@vger.kernel.org linux-kselftest@vger.kernel.org linux-mm@kvack.org safety-architecture@lists.elisa.tech shuah@kernel.org

Patches (3)

Name Content
[RFC v2 PATCH 1/3] Documentation: add guidelines for writing testable code specifications [Body]
[RFC v2 PATCH 2/3] /dev/mem: Add initial documentation of memory_open() and mem_fops [Body]
[RFC v2 PATCH 3/3] selftests/devmem: initial testset [Body]

Session 2025-09-10

ID (for dev) 3051218b-9bc3-406e-8242-2dba3c74c487
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
Build Base f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config] passed [Log]
Build Patched f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config] [patched] passed [Log]
Boot test: Base f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config] passed
Boot test: Patched f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config] [patched] passed
Fuzzing f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config] f777d1112ee597d7f7dd3ca232220873a34ad0c8 [Config] [patched] passed [Log] [Artifacts]